<html>
<head><meta charset="utf-8"><title>weekly meeting May 22 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html">weekly meeting May 22</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="126940602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940602">(May 22 2018 at 19:32)</a>:</h4>
<p>sorry for being late</p>



<a name="126940605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940605">(May 22 2018 at 19:32)</a>:</h4>
<p>no worries :)</p>



<a name="126940607"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940607" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940607">(May 22 2018 at 19:32)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span>  I was just about to post a message</p>



<a name="126940610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940610">(May 22 2018 at 19:32)</a>:</h4>
<p>I'll brb</p>



<a name="126940615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940615">(May 22 2018 at 19:33)</a>:</h4>
<p>yeah I made the mistake of doing an impromptu Rust tutorial at the Rust Paris meetup</p>



<a name="126940678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940678">(May 22 2018 at 19:34)</a>:</h4>
<p>So lets see, here's a link to the triage page: <a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be">https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be</a></p>



<a name="126940694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940694">(May 22 2018 at 19:35)</a>:</h4>
<p>I saw that <span class="user-mention" data-user-id="116113">@lqd</span> pointed out above that the ongoing diagnostics work will have an unknown impact on Polonius. We should indeed chat about this.</p>



<a name="126940696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940696">(May 22 2018 at 19:35)</a>:</h4>
<p>shall we ping <span class="user-mention" data-user-id="*">@everyone</span> =) — not sure who is around</p>



<a name="126940699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940699">(May 22 2018 at 19:35)</a>:</h4>
<p>oh yes that seems like a good trick. :)</p>



<a name="126940701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940701">(May 22 2018 at 19:35)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="126940751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940751">(May 22 2018 at 19:36)</a>:</h4>
<p>I also wrote a <a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be#:uid=513600694358508882742191&amp;h2=General-overview:" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be#:uid=513600694358508882742191&amp;h2=General-overview:">general overview section</a> in the dropbox paper that sketched out the next steps as I saw them (I think <span class="user-mention" data-user-id="116083">@pnkfelix</span> this accords with what you and I were saying this morning)</p>



<a name="126940757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940757">(May 22 2018 at 19:36)</a>:</h4>
<p>yes I was just reading over that, saying "I don't remember this from last week"</p>



<a name="126940763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940763">(May 22 2018 at 19:36)</a>:</h4>
<p>and then realizing that it wasn't from last week. :)</p>



<a name="126940773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940773">(May 22 2018 at 19:37)</a>:</h4>
<p>:)</p>



<a name="126940776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940776">(May 22 2018 at 19:37)</a>:</h4>
<p>all the stuff Niko wrote was very useful, you guys just let me know where I can help</p>



<a name="126940778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940778">(May 22 2018 at 19:37)</a>:</h4>
<p>but the plan makes a lot of sense</p>



<a name="126940795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940795">(May 22 2018 at 19:38)</a>:</h4>
<p>I guess I was a bit verbose in that section</p>



<a name="126940839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940839">(May 22 2018 at 19:38)</a>:</h4>
<p>so I'll admit that I have had trouble following all of the polonius activity</p>



<a name="126940845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940845">(May 22 2018 at 19:38)</a>:</h4>
<blockquote>
<p>I guess I was a bit verbose in that section</p>
</blockquote>
<p>in the general overview section?</p>



<a name="126940849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940849">(May 22 2018 at 19:38)</a>:</h4>
<blockquote>
<p>so I'll admit that I have had trouble following all of the polonius activity</p>
</blockquote>
<p>I had more trouble than you for sure :P</p>



<a name="126940852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940852">(May 22 2018 at 19:39)</a>:</h4>
<p>can someone summarize 1. how we are estimating its performance, and 2. what the current estimate of "best" performance is?</p>



<a name="126940864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940864">(May 22 2018 at 19:39)</a>:</h4>
<p>that's why I think Niko's summary was very helpful</p>



<a name="126940879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940879">(May 22 2018 at 19:39)</a>:</h4>
<p>you could break it down more like this:</p>
<ul>
<li>existing checker<ul>
<li>top-priority diagnostic fixes (<span class="user-mention" data-user-id="116083">@pnkfelix</span> is the process of uncovering this)</li>
<li>fix <code>kill_live_borrows_at_point</code> performance (<a href="https://github.com/rust-lang/rust/issues/50934" target="_blank" title="https://github.com/rust-lang/rust/issues/50934">https://github.com/rust-lang/rust/issues/50934</a> — maybe <span class="user-mention" data-user-id="116107">@David Wood</span> is on this)</li>
</ul>
</li>
<li>polonius<ul>
<li>help nmatsakis with <a href="https://github.com/rust-lang/rust/issues/50934" target="_blank" title="https://github.com/rust-lang/rust/issues/50934">#50934</a></li>
<li>simple rustc integration</li>
<li>further performance optimization</li>
</ul>
</li>
</ul>



<a name="126940926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940926">(May 22 2018 at 19:40)</a>:</h4>
<blockquote>
<p>can someone summarize 1. how we are estimating its performance, and 2. what the current estimate of "best" performance is?</p>
</blockquote>
<p>we have been estimating performance by measuring on the clap data set</p>



<a name="126940936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940936">(May 22 2018 at 19:40)</a>:</h4>
<p>at present, the "best" performance is about 800ms</p>



<a name="126940941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940941">(May 22 2018 at 19:40)</a>:</h4>
<p>versus a starting point of 160s :)</p>



<a name="126940946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940946">(May 22 2018 at 19:40)</a>:</h4>
<p>okay, I wasn;'t sure if we had incorporated other data sets</p>



<a name="126940950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940950">(May 22 2018 at 19:40)</a>:</h4>
<p>that is using <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span>'s "location insensitive" analysis as a pre-filter</p>



<a name="126940951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940951">(May 22 2018 at 19:40)</a>:</h4>
<p>in the case of clap, it's precise enough</p>



<a name="126940956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940956">(May 22 2018 at 19:40)</a>:</h4>
<p>if we don't use that, it's about 5s-7s right now</p>



<a name="126940967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940967">(May 22 2018 at 19:41)</a>:</h4>
<p>but..there is no reason not to use the pre-filter :)</p>



<a name="126940969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940969">(May 22 2018 at 19:41)</a>:</h4>
<p>so basically the "raw perf" is solved at this point</p>



<a name="126940970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940970">(May 22 2018 at 19:41)</a>:</h4>
<p>well</p>



<a name="126940974"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940974" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940974">(May 22 2018 at 19:41)</a>:</h4>
<p>though we have some ideas for further improvements</p>



<a name="126940978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940978">(May 22 2018 at 19:41)</a>:</h4>
<p>I certainly agree there's no reason not to use the pre-filter in the short term</p>



<a name="126940981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940981">(May 22 2018 at 19:41)</a>:</h4>
<p>imo or long term</p>



<a name="126940984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126940984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126940984">(May 22 2018 at 19:42)</a>:</h4>
<p>because the vast majority of code in the wild will be written to satisfy the AST borrowck</p>



<a name="126941039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941039">(May 22 2018 at 19:42)</a>:</h4>
<p>note also that the pre-filter can help make the more precise analysis more efficient</p>



<a name="126941042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941042">(May 22 2018 at 19:42)</a>:</h4>
<p>because we can focus the analysis only on those loans that <em>may</em> cause errors</p>



<a name="126941049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941049">(May 22 2018 at 19:42)</a>:</h4>
<p>(though we've not tried that yet)</p>



<a name="126941053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941053">(May 22 2018 at 19:43)</a>:</h4>
<p>ah okay I didn't know it could be fed into the next analysis</p>



<a name="126941064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941064">(May 22 2018 at 19:43)</a>:</h4>
<blockquote>
<p>because the vast majority of code in the wild will be written to satisfy the AST borrowck</p>
</blockquote>
<p>and also I guess because most functions doesn't need the more precise analysis</p>



<a name="126941065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941065">(May 22 2018 at 19:43)</a>:</h4>
<p>that makes the calculation of "when it stops paying off" more difficult. :)</p>



<a name="126941074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941074">(May 22 2018 at 19:43)</a>:</h4>
<p>anyway — as I said — I think at this point perf is not the "bottleneck"</p>



<a name="126941075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941075">(May 22 2018 at 19:43)</a>:</h4>
<p>okay so that sounds good</p>



<a name="126941117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941117">(May 22 2018 at 19:44)</a>:</h4>
<p>we can always get better...</p>



<a name="126941131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941131">(May 22 2018 at 19:44)</a>:</h4>
<p>So my next question</p>



<a name="126941160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941160">(May 22 2018 at 19:45)</a>:</h4>
<p>My understanding is that we should be able to just plug in polonius and keep the existing mir-borrowck as is</p>



<a name="126941165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941165">(May 22 2018 at 19:45)</a>:</h4>
<p>(for the most part)</p>



<a name="126941186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941186">(May 22 2018 at 19:46)</a>:</h4>
<p>But I thought I saw some rumblings from niko that he might like for polonius to actually take on more of that duty, right?</p>



<a name="126941235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941235">(May 22 2018 at 19:46)</a>:</h4>
<p>or have I misunderstood those musings?</p>



<a name="126941247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941247">(May 22 2018 at 19:46)</a>:</h4>
<p>(or is it more that if that happens, it would be far future work?)</p>



<a name="126941262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941262">(May 22 2018 at 19:47)</a>:</h4>
<p>I think we could integrate roughly as is</p>



<a name="126941265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941265">(May 22 2018 at 19:47)</a>:</h4>
<p>The reason I ask this is, is that it impacts how we approach fixing diagnostics</p>



<a name="126941276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941276">(May 22 2018 at 19:47)</a>:</h4>
<p>I'm not exactly sure what I said before, but I think it's like this:</p>



<a name="126941291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941291">(May 22 2018 at 19:47)</a>:</h4>
<p><span class="user-mention" data-user-id="116106">@Reed Koser</span> already has a PR to emit the <code>Invalidated</code> facts (not yet landed, though it's r+)</p>



<a name="126941299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941299">(May 22 2018 at 19:47)</a>:</h4>
<p>this is somewhat refactored so that there is not <em>gross</em> code duplication</p>



<a name="126941331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941331">(May 22 2018 at 19:48)</a>:</h4>
<p>right now, if we integrate polonius in the simplest way, we'll wind up being less efficient than we might</p>



<a name="126941351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941351">(May 22 2018 at 19:48)</a>:</h4>
<p>because after polonius runs we will re-walk the MIR and look for violations</p>



<a name="126941353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941353">(May 22 2018 at 19:48)</a>:</h4>
<p>but polonius has already returned to us the full set of errors</p>



<a name="126941363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941363">(May 22 2018 at 19:48)</a>:</h4>
<p>in other words, the current code would be doing something like:</p>
<div class="codehilite"><pre><span></span>for each point P {
  check if there is an error at P
}
</pre></div>


<p>instead of:</p>
<div class="codehilite"><pre><span></span>for each error E {
  report the error E
}
</pre></div>



<a name="126941373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941373">(May 22 2018 at 19:48)</a>:</h4>
<p><em>however,</em> changing that is non-trivial and I think something we would only do gradually</p>



<a name="126941381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941381">(May 22 2018 at 19:49)</a>:</h4>
<p>for one thing, polonius doesn't detect all errors right now</p>



<a name="126941394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941394">(May 22 2018 at 19:49)</a>:</h4>
<p>but its not currently the "full" set of errors, because polonius does not yet encode the other dataflows</p>



<a name="126941397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941397">(May 22 2018 at 19:49)</a>:</h4>
<p>oh you just said this</p>



<a name="126941402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941402">(May 22 2018 at 19:49)</a>:</h4>
<p>yeah, exactly</p>



<a name="126941408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941408">(May 22 2018 at 19:49)</a>:</h4>
<p>okay it is good to confirm that understanding</p>



<a name="126941478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941478">(May 22 2018 at 19:50)</a>:</h4>
<p>I basically just want to make sure we don't invest a bunch of effort perfecting the diagnostics for mir-borrowck</p>



<a name="126941491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941491">(May 22 2018 at 19:51)</a>:</h4>
<p>yeah, I can see that</p>



<a name="126941493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941493">(May 22 2018 at 19:51)</a>:</h4>
<p>and then discover that we should have instead been spending that effort figuring out how to encode those same diagnostics in a fashion that works via polonius</p>



<a name="126941505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941505">(May 22 2018 at 19:51)</a>:</h4>
<p>so... I think that the vast majority of that work is probably reusable? the red flags would be if we are inspecting the "values" of regions and using that</p>



<a name="126941510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941510">(May 22 2018 at 19:51)</a>:</h4>
<p>i.e., if we are using the <code>regioncx</code> basically</p>



<a name="126941513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941513">(May 22 2018 at 19:51)</a>:</h4>
<p>since that won't exist once polonius integration is complete</p>



<a name="126941515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941515">(May 22 2018 at 19:51)</a>:</h4>
<blockquote>
<p>but its not currently the "full" set of errors, because polonius does not yet encode the other dataflows</p>
</blockquote>
<p>sorry, hard to follow to a non native speaker but ... what does other dataflows here means?</p>



<a name="126941562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941562">(May 22 2018 at 19:52)</a>:</h4>
<p>example: computing which paths have been initialized or moved </p>
<div class="codehilite"><pre><span></span><span class="kd">let</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">vec</span><span class="o">!</span><span class="p">[];</span><span class="w"></span>
<span class="n">drop</span><span class="p">(</span><span class="n">x</span><span class="p">);</span><span class="w"></span>
<span class="n">drop</span><span class="p">(</span><span class="n">x</span><span class="p">);</span><span class="w"> </span><span class="c1">// &lt;-- error, but polonius doesn&#39;t detect it</span>
</pre></div>



<a name="126941569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941569">(May 22 2018 at 19:52)</a>:</h4>
<p>right now we compute a variety of things (about 5?), only some of which polonius encodes</p>



<a name="126941584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941584">(May 22 2018 at 19:53)</a>:</h4>
<p><span class="emoji emoji-1f44d" title="+1">:+1:</span></p>



<a name="126941586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941586">(May 22 2018 at 19:53)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> so wait: Are you saying that we should actively try to avoid using <code>regioncx</code> when implementing diagnostics</p>



<a name="126941589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941589">(May 22 2018 at 19:53)</a>:</h4>
<p>or just that we should take note of it when it happens</p>



<a name="126941590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941590">(May 22 2018 at 19:53)</a>:</h4>
<p>the latter I think</p>



<a name="126941591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941591">(May 22 2018 at 19:53)</a>:</h4>
<p>those are things we might have to redo</p>



<a name="126941594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941594">(May 22 2018 at 19:53)</a>:</h4>
<p>okay, good</p>



<a name="126941596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941596">(May 22 2018 at 19:53)</a>:</h4>
<p>I'm not sure when/if we would want to do that</p>



<a name="126941680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941680">(May 22 2018 at 19:55)</a>:</h4>
<p>I still feel a bit unsettled :)</p>



<a name="126941681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941681">(May 22 2018 at 19:55)</a>:</h4>
<p>Okay.</p>



<a name="126941690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941690">(May 22 2018 at 19:55)</a>:</h4>
<p>The next thing I'd like to discuss is the diagnostics list, as it currently stands</p>



<a name="126941691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941691">(May 22 2018 at 19:55)</a>:</h4>
<p>its not finished</p>



<a name="126941692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941692">(May 22 2018 at 19:55)</a>:</h4>
<p>(that is, about how we hope/plan to distribute work)</p>



<a name="126941696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941696">(May 22 2018 at 19:55)</a>:</h4>
<p>but there's things we can point out</p>



<a name="126941706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941706">(May 22 2018 at 19:55)</a>:</h4>
<p>this is the list: <a href="https://paper.dropbox.com/doc/KzroSvNgQ7lip3WQyiLTa" target="_blank" title="https://paper.dropbox.com/doc/KzroSvNgQ7lip3WQyiLTa">https://paper.dropbox.com/doc/KzroSvNgQ7lip3WQyiLTa</a></p>



<a name="126941769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941769">(May 22 2018 at 19:56)</a>:</h4>
<p>So its obvious that some of these tests are likely all going to be resolved at once, once the root cause is fixed</p>



<a name="126941777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941777">(May 22 2018 at 19:56)</a>:</h4>
<p>we've already got a bunch of MY EYES on there...</p>



<a name="126941785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941785">(May 22 2018 at 19:57)</a>:</h4>
<p>an example of this are the cases which say "we used to report a nice error about closures, we now report an indecipherable error about free regions. We need to detect free regions associated with closures."</p>



<a name="126941804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941804">(May 22 2018 at 19:57)</a>:</h4>
<p>Which I suspect already even has a corresponding issue on the rust repo that  I just don't recall offhand</p>



<a name="126941807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941807">(May 22 2018 at 19:57)</a>:</h4>
<p>there's a ton of those</p>



<a name="126941810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941810">(May 22 2018 at 19:57)</a>:</h4>
<p>indeed</p>



<a name="126941812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941812">(May 22 2018 at 19:57)</a>:</h4>
<p>Something I realized today</p>



<a name="126941819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941819">(May 22 2018 at 19:57)</a>:</h4>
<p>is that one might erroneously think that the cases with multiple such tests</p>



<a name="126941820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941820">(May 22 2018 at 19:57)</a>:</h4>
<p>should take highest priority</p>



<a name="126941860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941860">(May 22 2018 at 19:58)</a>:</h4>
<p>due to some idea of "user impact"</p>



<a name="126941865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941865">(May 22 2018 at 19:58)</a>:</h4>
<p>but I don't think our set of tests</p>



<a name="126941889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941889">(May 22 2018 at 19:58)</a>:</h4>
<p>necessarily correspond, in terms of the distribution of the forms they use, to the cases that users encounter.</p>



<a name="126941901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941901">(May 22 2018 at 19:59)</a>:</h4>
<p>does that make sense? I'm just trying to warn</p>



<a name="126941906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941906">(May 22 2018 at 19:59)</a>:</h4>
<p>makes sense</p>



<a name="126941908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941908">(May 22 2018 at 19:59)</a>:</h4>
<p>i.e., we might have a lot of tests around some corner case people rarely hit</p>



<a name="126941910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941910">(May 22 2018 at 19:59)</a>:</h4>
<p><span class="emoji emoji-1f44d" title="+1">:+1:</span></p>



<a name="126941911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941911">(May 22 2018 at 19:59)</a>:</h4>
<p>that we should not necessarily prioritize based on the number of tests</p>



<a name="126941916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941916">(May 22 2018 at 19:59)</a>:</h4>
<p>yes exactly</p>



<a name="126941928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941928">(May 22 2018 at 19:59)</a>:</h4>
<p>(I independently wondered if there would be some way to actually attach a bias to each test to make it correspond to the number of users that hit that construct)</p>



<a name="126941930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941930">(May 22 2018 at 19:59)</a>:</h4>
<p>(but that seems like a research question)</p>



<a name="126941932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941932">(May 22 2018 at 20:00)</a>:</h4>
<p>Anyway</p>



<a name="126941992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941992">(May 22 2018 at 20:00)</a>:</h4>
<p>having said all that</p>



<a name="126941999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126941999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126941999">(May 22 2018 at 20:00)</a>:</h4>
<p>I do think our users care about closures</p>



<a name="126942004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942004">(May 22 2018 at 20:00)</a>:</h4>
<p>and closures with free variables that have references</p>



<a name="126942009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942009">(May 22 2018 at 20:00)</a>:</h4>
<p>or rather, free regions in general  I guess</p>



<a name="126942016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942016">(May 22 2018 at 20:01)</a>:</h4>
<p>yes</p>



<a name="126942028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942028">(May 22 2018 at 20:01)</a>:</h4>
<p>And thus, these cases <strong>should</strong> get a pretty high priority</p>



<a name="126942036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942036">(May 22 2018 at 20:01)</a>:</h4>
<p>that makes sense, yes</p>



<a name="126942081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942081">(May 22 2018 at 20:02)</a>:</h4>
<p>seems like we should file discrete rustc issues for said cases (or find them?) and try to find someone to hack on them?</p>



<a name="126942084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942084">(May 22 2018 at 20:02)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Q: is mapping a free region back to its associated closure something that would be done via the regioncx, either today or in some future version of it?</p>



<a name="126942092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942092">(May 22 2018 at 20:02)</a>:</h4>
<p>let me see if I can find if an issue already exists</p>



<a name="126942093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942093">(May 22 2018 at 20:02)</a>:</h4>
<p>one thing I am wondering about is whether it's worth trying to e.g. tweet about it to drum up more folks, or if it's better to focus on those of us here who have more experience</p>



<a name="126942096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942096">(May 22 2018 at 20:02)</a>:</h4>
<p>and link it from the paper doc</p>



<a name="126942108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942108">(May 22 2018 at 20:02)</a>:</h4>
<p>another question: how much fuel to put into polonius vs this?</p>



<a name="126942110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942110">(May 22 2018 at 20:02)</a>:</h4>
<p>(I've said I do not want the paper doc to end up being the canonical database for these issues)</p>



<a name="126942118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942118">(May 22 2018 at 20:03)</a>:</h4>
<p>some part of me is inclined to say: we should have somebody working on polonius integration, and the rest of us on diagnostics</p>



<a name="126942119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942119">(May 22 2018 at 20:03)</a>:</h4>
<p>(but for now, its <em>my</em> canonical database...)</p>



<a name="126942135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942135">(May 22 2018 at 20:03)</a>:</h4>
<p>I got the impression that a lot of the volunteers at this meeting are super pumped about polonius</p>



<a name="126942137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942137">(May 22 2018 at 20:03)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Q: is mapping a free region back to its associated closure something that would be done via the regioncx, either today or in some future version of it?</p>
</blockquote>
<p>I have to look at the test, but it seems likely it will touch the <code>regioncx</code></p>



<a name="126942143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942143">(May 22 2018 at 20:03)</a>:</h4>
<p>I don't want to squander that enthusiasm</p>



<a name="126942196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942196">(May 22 2018 at 20:04)</a>:</h4>
<p>I guess people can elect for themselves :)</p>



<a name="126942197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942197">(May 22 2018 at 20:04)</a>:</h4>
<p>Here's probably the relevant issue: <a href="https://github.com/rust-lang/rust/issues/49824" target="_blank" title="https://github.com/rust-lang/rust/issues/49824">https://github.com/rust-lang/rust/issues/49824</a></p>



<a name="126942199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942199">(May 22 2018 at 20:04)</a>:</h4>
<p>for closures</p>



<a name="126942200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942200">(May 22 2018 at 20:04)</a>:</h4>
<p>and free regions</p>



<a name="126942206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942206">(May 22 2018 at 20:04)</a>:</h4>
<blockquote>
<p>one thing I am wondering about is whether it's worth trying to e.g. tweet about it to drum up more folks, or if it's better to focus on those of us here who have more experience</p>
</blockquote>
<p>this is a thing I guess you guys need to decide, and I don't feel that knowledgeable yet to help someone, but if you feel that I can help somebody or work with somebody that is starting I'm open</p>



<a name="126942208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942208">(May 22 2018 at 20:04)</a>:</h4>
<p>but maybe that particular issue is about a more specific problem...</p>



<a name="126942218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942218">(May 22 2018 at 20:05)</a>:</h4>
<p>yeah, I'm not sure,  I remember vaguely talking about it with <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span></p>



<a name="126942223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942223">(May 22 2018 at 20:05)</a>:</h4>
<p>re: twitter vs not, I think it probably depends a lot on the issue</p>



<a name="126942227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942227">(May 22 2018 at 20:05)</a>:</h4>
<p>e.g. that closure stuff... is tricky and involves a lot of things</p>



<a name="126942234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942234">(May 22 2018 at 20:05)</a>:</h4>
<p>but maybe some of the "wrong span" cases, not so much?</p>



<a name="126942235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942235">(May 22 2018 at 20:05)</a>:</h4>
<p>these is also this issue: <a href="https://github.com/rust-lang/rust/issues/49397" target="_blank" title="https://github.com/rust-lang/rust/issues/49397">https://github.com/rust-lang/rust/issues/49397</a></p>



<a name="126942237"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942237" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942237">(May 22 2018 at 20:05)</a>:</h4>
<p>hmm</p>



<a name="126942251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942251">(May 22 2018 at 20:06)</a>:</h4>
<p>I feel like that latter issue (49397) is more general</p>



<a name="126942282"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942282" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942282">(May 22 2018 at 20:06)</a>:</h4>
<p>yes, and thus probably more appropriate, right?</p>



<a name="126942286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942286">(May 22 2018 at 20:06)</a>:</h4>
<p>well, I'd like to have an issue around that <em>specific</em> set of closure error messages</p>



<a name="126942288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942288">(May 22 2018 at 20:06)</a>:</h4>
<p>maybe I'll make its description link to all the relevant .nll.stderr files</p>



<a name="126942292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942292">(May 22 2018 at 20:06)</a>:</h4>
<p>oh interesting</p>



<a name="126942295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942295">(May 22 2018 at 20:06)</a>:</h4>
<p>but there are other "free region" sort of errors that we probably need to handle better</p>



<a name="126942298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942298">(May 22 2018 at 20:06)</a>:</h4>
<p>that don't fall into that set</p>



<a name="126942303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942303">(May 22 2018 at 20:06)</a>:</h4>
<p>okay true, free regions + closures is a more specific case, yes</p>



<a name="126942305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942305">(May 22 2018 at 20:06)</a>:</h4>
<p>(or did we consider it not so important that we target the closure case specifically?)</p>



<a name="126942311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942311">(May 22 2018 at 20:07)</a>:</h4>
<p>I kinda think it is, thinking on it now</p>



<a name="126942320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942320">(May 22 2018 at 20:07)</a>:</h4>
<p>particularly since free region errors are hard enough</p>



<a name="126942388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942388">(May 22 2018 at 20:08)</a>:</h4>
<p>we were downgrading instances of "closure may outlive current function"</p>



<a name="126942389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942389">(May 22 2018 at 20:08)</a>:</h4>
<p>(that is, we should seize "special case" opportunities  where we can say something clear)</p>



<a name="126942399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942399">(May 22 2018 at 20:08)</a>:</h4>
<p>but the "free regions associated with closures" are all rated with MY EYES</p>



<a name="126942429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942429">(May 22 2018 at 20:09)</a>:</h4>
<p>okay we're 9 minutes over my preferred 30 min time limit</p>



<a name="126942433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942433">(May 22 2018 at 20:09)</a>:</h4>
<p>lets see if we can try to come to a conclusion here</p>



<a name="126942486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942486">(May 22 2018 at 20:10)</a>:</h4>
<p>I agree we need to figure out how to prioritize work between polonius and diagnostics</p>



<a name="126942491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942491">(May 22 2018 at 20:10)</a>:</h4>
<p>Maybe we can ask people to state, on the Triage Paper, which topic they would like to focus on in the near term</p>



<a name="126942497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942497">(May 22 2018 at 20:10)</a>:</h4>
<p>if too few say "diagnostics"</p>



<a name="126942502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942502">(May 22 2018 at 20:11)</a>:</h4>
<p>then we tweet about it?</p>



<a name="126942508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942508">(May 22 2018 at 20:11)</a>:</h4>
<p>(or we could just tweet about it regardless)</p>



<a name="126942509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942509">(May 22 2018 at 20:11)</a>:</h4>
<p>yeah I think we should open up some issues and see if we can get people interested</p>



<a name="126942510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942510">(May 22 2018 at 20:11)</a>:</h4>
<p>its a question of whether we want to invest time in onboarding if we can avoid it</p>



<a name="126942512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942512">(May 22 2018 at 20:11)</a>:</h4>
<p>and twitter etc remains an option</p>



<a name="126942513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942513">(May 22 2018 at 20:11)</a>:</h4>
<p>But then again</p>



<a name="126942517"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942517" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942517">(May 22 2018 at 20:11)</a>:</h4>
<p>impl Days Paris is coming up</p>



<a name="126942520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942520">(May 22 2018 at 20:11)</a>:</h4>
<p>so I might try to strong-arm some people there</p>



<a name="126942570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942570">(May 22 2018 at 20:12)</a>:</h4>
<p>(as in, "I'll already be investing time in onboarding, so I shouldn't fear doing it.")</p>



<a name="126942577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942577">(May 22 2018 at 20:12)</a>:</h4>
<p>ok, seems like top priority then is to identify a discrete set of diagnostic issues</p>



<a name="126942581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942581">(May 22 2018 at 20:12)</a>:</h4>
<p>which I guess <span class="user-mention" data-user-id="116083">@pnkfelix</span> you will be doing ?</p>



<a name="126942583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942583">(May 22 2018 at 20:12)</a>:</h4>
<p>yeah I'll keep going through the list</p>



<a name="126942586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942586">(May 22 2018 at 20:13)</a>:</h4>
<p>I can devote serious time to that tomorrow</p>



<a name="126942594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942594">(May 22 2018 at 20:13)</a>:</h4>
<p>... maybe some time tonight? Not sure. I was up late last night with going through "weak test" diagnostics, but i think that was as big mistake in the end.</p>



<a name="126942599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942599">(May 22 2018 at 20:13)</a>:</h4>
<p>:)</p>



<a name="126942681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942681">(May 22 2018 at 20:15)</a>:</h4>
<p>Any other specific high priority task to tackle this week?</p>



<a name="126942728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942728">(May 22 2018 at 20:16)</a>:</h4>
<p>besides the perf thing (which I think <span class="user-mention" data-user-id="116107">@David Wood</span> is tackling)</p>



<a name="126942735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942735">(May 22 2018 at 20:16)</a>:</h4>
<p>I still think it'd be good to get polonius integration up and going</p>



<a name="126942737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942737">(May 22 2018 at 20:16)</a>:</h4>
<p>oh yes</p>



<a name="126942744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942744">(May 22 2018 at 20:16)</a>:</h4>
<p>so, regarding polonius integration</p>



<a name="126942746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942746">(May 22 2018 at 20:17)</a>:</h4>
<p>well</p>



<a name="126942755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942755">(May 22 2018 at 20:17)</a>:</h4>
<p>I guess I basically agree that a library is the way to go</p>



<a name="126942760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942760">(May 22 2018 at 20:17)</a>:</h4>
<p>seems like it's gonna be easier, though you're not wrong about the cycle time to test changes</p>



<a name="126942763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942763">(May 22 2018 at 20:17)</a>:</h4>
<p>I was briefly enamored with the hypothetically improved cycle time</p>



<a name="126942767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942767">(May 22 2018 at 20:17)</a>:</h4>
<p>but the reality is that there's a real serious cost to implementing that</p>



<a name="126942773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942773">(May 22 2018 at 20:17)</a>:</h4>
<p>and its work that ends up being thrown away in the end</p>



<a name="126942860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942860">(May 22 2018 at 20:19)</a>:</h4>
<p>yeah</p>



<a name="126942870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942870">(May 22 2018 at 20:19)</a>:</h4>
<p>anyway I would think that <em>somebody</em>  should pursue that</p>



<a name="126942887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942887">(May 22 2018 at 20:20)</a>:</h4>
<p>might be a natural extension to <span class="user-mention" data-user-id="116106">@Reed Koser</span>'s existing PR, not sure if they are around</p>



<a name="126942949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126942949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126942949">(May 22 2018 at 20:20)</a>:</h4>
<p>but doens't have to be them</p>



<a name="126943037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943037">(May 22 2018 at 20:22)</a>:</h4>
<p>ok well we'll figure it out</p>



<a name="126943057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943057">(May 22 2018 at 20:23)</a>:</h4>
<p>man, i thought this meeting would all be about <span class="emoji emoji-1f438" title="frog">:frog:</span></p>



<a name="126943150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943150">(May 22 2018 at 20:25)</a>:</h4>
<p><span class="user-mention" data-user-id="116108">@Keith Yeung</span> still looking for someone to do the <span class="emoji emoji-1f438" title="frog">:frog:</span> integration :)</p>



<a name="126943164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943164">(May 22 2018 at 20:25)</a>:</h4>
<p>(you say my notes?)</p>



<a name="126943212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943212">(May 22 2018 at 20:26)</a>:</h4>
<p>Feel free to discuss <span class="emoji emoji-1f438" title="frog">:frog:</span>.  I have to close down this meetup and then go home, so I won't be able to participate live, but I'll try to read the transcript.</p>



<a name="126943239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943239">(May 22 2018 at 20:27)</a>:</h4>
<p>i was in fact reading frank's blog post about the treefrog leapjoin (or was it leapfrog triejoin?) function</p>



<a name="126943255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943255">(May 22 2018 at 20:27)</a>:</h4>
<p>good read :)</p>



<a name="126943256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943256">(May 22 2018 at 20:27)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> what work needs to be done there though? I thought we pretty much had it covered with the port from timely to <span class="emoji emoji-1f438" title="frog">:frog:</span> for all strategies</p>



<a name="126943311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943311">(May 22 2018 at 20:28)</a>:</h4>
<p>well rustc is not using polonius yet</p>



<a name="126943316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943316">(May 22 2018 at 20:28)</a>:</h4>
<p>er, I guess I meant "integrating polonius into rustc"</p>



<a name="126943317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943317">(May 22 2018 at 20:28)</a>:</h4>
<p>(leapfrog triejoin is logicblox's, treefrog leapjoin is another similar worst case optimal join algorithm from the Ngo paper, named in classic mcsherry style :)</p>



<a name="126943319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943319">(May 22 2018 at 20:28)</a>:</h4>
<p>not really <span class="emoji emoji-1f438" title="frog">:frog:</span> integration per se</p>



<a name="126943335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943335">(May 22 2018 at 20:29)</a>:</h4>
<p>ah, yes, i was indeed going over those notes you left on the triage docs</p>



<a name="126943422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943422">(May 22 2018 at 20:30)</a>:</h4>
<p>it is also a dilemma that we face if we are to fully integrate polonius into rustc, because it would seem like the work for improving diagnostics would be for naught</p>



<a name="126943448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943448">(May 22 2018 at 20:31)</a>:</h4>
<p>I dont' think so</p>



<a name="126943455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943455">(May 22 2018 at 20:31)</a>:</h4>
<p>but in any case I want to do the rustc-integration behind a switch of course</p>



<a name="126943456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943456">(May 22 2018 at 20:31)</a>:</h4>
<p>e.g., -Zpolonius</p>



<a name="126943461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943461">(May 22 2018 at 20:31)</a>:</h4>
<p><span class="user-mention" data-user-id="116108">@Keith Yeung</span> it would depend on how deep the integration goes</p>



<a name="126943474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943474">(May 22 2018 at 20:31)</a>:</h4>
<p>(as discussed earlier in this topic, i think?)</p>



<a name="126943538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943538">(May 22 2018 at 20:32)</a>:</h4>
<p><span class="user-mention" data-user-id="116108">@Keith Yeung</span> start from here: <a href="#narrow/stream/122657-wg-nll/subject/weekly.20meeting.20May.2022/near/126941478" title="#narrow/stream/122657-wg-nll/subject/weekly.20meeting.20May.2022/near/126941478">https://rust-lang.zulipchat.com/#narrow/stream/122657-wg-nll/subject/weekly.20meeting.20May.2022/near/126941478</a></p>



<a name="126943610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943610">(May 22 2018 at 20:34)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> btw just saw <a href="https://github.com/rust-lang-nursery/polonius/pull/42/" target="_blank" title="https://github.com/rust-lang-nursery/polonius/pull/42/">your PR 42</a>, nice</p>



<a name="126943611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943611">(May 22 2018 at 20:34)</a>:</h4>
<p>the link doesn't work as intended, but i got the idea</p>



<a name="126943636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126943636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126943636">(May 22 2018 at 20:35)</a>:</h4>
<p>I wish I was able to better test that it would actually report errors :) (or even at all)</p>



<a name="126950032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126950032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126950032">(May 22 2018 at 22:51)</a>:</h4>
<p>did we ever ended up with graphviz visualizations for facts?</p>



<a name="126955676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126955676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126955676">(May 23 2018 at 02:03)</a>:</h4>
<blockquote>
<p>might be a natural extension to <span class="user-mention" data-user-id="116106">@Reed Koser</span>'s existing PR, not sure if they are around</p>
</blockquote>
<p>I'm open to working on Polonius integration into <code>rustc</code>. I can't participate live in these meetings as they're right in the middle of my work day, but I still have time to work on <code>rustc</code> stuff in the evenings.</p>



<a name="126962043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126962043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126962043">(May 23 2018 at 06:05)</a>:</h4>
<p>Also, <span class="user-mention" data-user-id="116009">@nikomatsakis</span> my refactor didn't end up in <a href="https://github.com/rust-lang/rust/pull/50798" target="_blank" title="https://github.com/rust-lang/rust/pull/50798">https://github.com/rust-lang/rust/pull/50798</a> since I thought that had already landed when I made those changes, and did some git wizardry to convince Github not to include the refactor in the PR when I realized it hadn't and that it would invalidate your r+. I can push it for real though if you want to land it in the same merge however.</p>



<a name="126967717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126967717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126967717">(May 23 2018 at 09:09)</a>:</h4>
<p><span class="user-mention" data-user-id="116106">@Reed Koser</span> by "my refactor" are you referring to <a href="https://github.com/bobtwinkles/rust/commit/e62fa27071f296cca9b35f50e2d1bb3459631fd7" target="_blank" title="https://github.com/bobtwinkles/rust/commit/e62fa27071f296cca9b35f50e2d1bb3459631fd7">this commit</a>? if so, I think it is being <a href="https://github.com/rust-lang/rust/pull/50798#issuecomment-391245099" target="_blank" title="https://github.com/rust-lang/rust/pull/50798#issuecomment-391245099">actively tested by bors right now</a>....</p>



<a name="126977959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126977959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126977959">(May 23 2018 at 14:06)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> </p>
<blockquote>
<p>(I independently wondered if there would be some way to actually attach a bias to each test to make it correspond to the number of users that hit that construct)<br>
(but that seems like a research question)</p>
</blockquote>
<p>JFYI: As far as I understand, the main problem with computing the number of users that hit a specific error is that programmers rarely publish the code that does not compile. One way to obtain such information would be to write an IDE plugin that would log how a programmer writes a program.  However, if we had such log, we could not only compute what problems are the most common but also train a machine learning model capable of proposing fixes for common errors.</p>



<a name="126978082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126978082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126978082">(May 23 2018 at 14:09)</a>:</h4>
<p>There is ongoing discussion on trying to add Telemetry to the rust compiler. I imagine such a log would be a useful component of such telemetry, <em>if</em> we can actually get permission to gather such data in the first place...</p>



<a name="126979591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126979591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126979591">(May 23 2018 at 14:48)</a>:</h4>
<p>I was referring to that commit, and I don't think Bors tested it. That merge doesn't add the <code>path_utils</code> file that I added in the refactor commit</p>



<a name="126979601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126979601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126979601">(May 23 2018 at 14:49)</a>:</h4>
<p>sorry I've made a mess haven't I</p>



<a name="126979860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126979860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126979860">(May 23 2018 at 14:54)</a>:</h4>
<p>Is there a tracking issue for Telemetry, or something that could give me an overview of the current situation?</p>
<p>Yes, there is a huge privacy concern here. We would need at least to get an explicit agreement from everyone giving away their data.</p>



<a name="126979964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126979964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126979964">(May 23 2018 at 14:56)</a>:</h4>
<p>Hello GDPR =)</p>



<a name="126980096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126980096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126980096">(May 23 2018 at 14:59)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  <a href="https://github.com/rust-lang/rust/pull/50998" target="_blank" title="https://github.com/rust-lang/rust/pull/50998">https://github.com/rust-lang/rust/pull/50998</a><br>
Sorry, I thought it would be easier to do this in a separate PR. Didn't realize how deep Bor's queue was at the time...</p>



<a name="126980174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126980174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126980174">(May 23 2018 at 15:01)</a>:</h4>
<p>I've considered adding telemetry to the playground, since the code is already "going somewhere else"</p>



<a name="126980268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126980268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126980268">(May 23 2018 at 15:03)</a>:</h4>
<p><span class="user-mention" data-user-id="116106">@Reed Koser</span> oh, actually, you are correct, I was misreading Github.</p>



<a name="126980275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126980275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126980275">(May 23 2018 at 15:03)</a>:</h4>
<p><span class="user-mention" data-user-id="116106">@Reed Koser</span> well, that commit looked good to me :)</p>



<a name="126980335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/126980335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#126980335">(May 23 2018 at 15:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> telemetry hasn't progressed to that point yet, and the need for us to figure out stuff like that is part of why :) it's mostly a 'thought' at this juncture</p>



<a name="127019326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20May%2022/near/127019326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20May.2022.html#127019326">(May 24 2018 at 08:44)</a>:</h4>
<p>I see. The privacy-related questions are definitely not easy to answer.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>